Amending Frege’s Grundgesetze der Arithmetik [draft]
نویسنده
چکیده
Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of reducibility for concepts true of only finitely many individuals is still consistent, and that elementary Peano arithmetic (and more) is interpretable in this extended system.
منابع مشابه
Amending Frege's Grundgesetze der Arithmetik
Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is essentially second-order logic together with an abstraction operator that abides to Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of reducibility for con...
متن کاملThe Bulletin of Symbolic Logic
We discuss the typography of the notation used by Gottlob Frege in his Grundgesetze der Arithmetik. §1. Background to the Grundgesetze der Arithmetik. Grundgesetze der Arithmetik was to have been the pinnacle of Gottlob Frege’s life’s work — a rigorous demonstration of how the fundamental laws of classical pure mathematics of the natural and real numbers can be derived from principles which, in...
متن کاملOn the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze
It is well known that Frege’s system in the Grundgesetze der Arithmetik is formally inconsistent. Frege’s instantiation rule for the secondorder universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege’s basic law V. A few years ago, Richard Heck proved the cons...
متن کاملGrundgesetze Der Arithmetik I § §29–32
Frege’s intention in section 31 of Grundgesetze is to show that every well-formed expression in his formal system denotes. But it has been obscure why he wants to do this and how he intends to do it. It is argued here that, in large part, Frege’s purpose is to show that the smooth breathing, from which names of value-ranges are formed, denotes; that his proof that his other primitive expression...
متن کاملHow to Release Frege’s System from Russell’s Antinomy
The conditions for proper definitions in mathematics are given, in terms of the theory of definition, on the basis of the criterions of eliminability and non-creativity. As a definition, Russell’s antinomy is a violation of the criterion of eliminability (Behmann, 1931, [1]; Bochvar, 1943, [2]). Following the path of the criterion of non-creativity, this paper develops a new analysis of Compreh...
متن کامل